یک گام فراتر از پروتکل رفتاری

thesis
abstract

یکی از مراحل تعیین مشخصات سیستم در گام تحلیل، تعیین رفتار سیستم می باشد که در این مرحله مشخص می شود چه اتفاقی باید در هر حالت سیستم رخ دهد. به همین منظور تحلیلگر در انتخاب زبان های صوری یا غیرصوری برای نشان دادن رفتار سیستم بر سر دو راهی قرار می-گیرد. پس از تصمیم گیری در استفاده از زبان های صوری یا غیرصوری، تحلیلگر برای تعیین مشخصات سیستم با توجه به نیازمندی های سیستم و قابلیت های زبان ها می بایست یک زبان را انتخاب نماید. در این پایان نامه پس از معرفی زبان های صوری و غیرصوری، مقایسه ای میان این زبان ها صورت گرفته است. با توجه به دقت و قابلیت اطمینان زبان های صوری، در گام بعد به بررسی دقیق تر این زبان ها پرداخته ایم. از آنجایی که ما بدنبال زبانی برای تعیین رفتار سیستم می-باشیم، مناسب ترین زبان صوری برای این منظور را انتخاب می نمائیم. ما معتقدیم زبان پروتکل رفتاری دقیق ترین و در عین حال ساده ترین زبان صوری برای تعیین رفتار سیستم می باشد و عملی بودن استفاده از این زبان را در قالب یک مثال بررسی می نماییم. در نهایت امنیت سیستم هایی که تعیین رفتار آنها در مرحله تحلیل با استفاده از این زبان صورت گرفته است را مورد بررسی قرار خواهیم داد و تلاش می کنیم تا یک راهکار امنیتی در مرحله تحلیل سیستم در نگارش زبان مولفه ها اضافه نمائیم در نتیجه امنیت سیستم تحلیل شده با زبان پروتکل رفتاری تضمین گردد.

First 15 pages

Signup for downloading 15 first pages

Already have an account?login

similar resources

زی‌پرشین، فراتر از یک ابزار ریاضی‌نویسی

نه تنها بسیاری از مردم از کاربردهای ریاضیات در زندگی آگاه نیستند بلکه چه بسا این تصور هم رایج باشد که ریاضی‌ورزان گروهی جدا از سایرین هستند. صرفه‌نظر از کاربردهای بسیار ریاضی، ابزارهای متعددی توسط جامعه ریاضی دنیا ایجاد و یا توسعه داده شده‌اند که سیستم حروف‌چینی تِک یکی از آنهاست. سیستم حروف‌چینی تِک توسط یک دانشمند ریاضی بنیان نهاده شده و بسته‌ی فارسی کنونی آن با نام «زی‌پرشین» نیز توسط یک دانشج...

full text

کارآفرینی دانشگاهی: طراحی و تدوین یک مدل گام به گام

امروزه دانشگاه کارآفرین، کارآفرینی دانشگاهی و تجاری سازی تحقیقات دانشگاهی به نحوی در حال جلب توجه است که مؤسسات دانشگاهی را جهت کارآفرین تر شدن، تحت فشار گذاشته است. بر این اساس، پژوهش حاضر با هدف طراحی و تدوین یک مدل گام به گام کارآفرینی دانشگاهی انجام شده است. در این مدل پنج مرحله در فرآیند کارآفرینی دانشگاهی وجود دارند که عبارتند از: انگیزه، حکومت، انتخاب، رقابت و عملکرد. فرآیند کارآفرینی دا...

full text

مبالغه؛ تصویری فراتر از خیال

مبالغه تصویری است بلاغی که اغلب برای آرایش کلام و جلب توجّه شنونده به کار می­رود. در مبالغه، شاعر با استفاده از دو شیوۀ بزرگ­نمایی و کوچک­نمایی مفاهیم خُرد را بزرگ­ جلوه می­دهد و مفاهیم بزرگ­را خُرد، و در واقع با استفاده از این ابزار بیانی سخن خویش را بسط می­دهد و تأکید می­کند تا القای مفهوم بهتر انجام پذیرد. اغلب بلاغت­نگاران ضمن معرفی مبالغه تأکید کرده­اند که مبالغه در حقیقت نوعی دروغ آمیخته با ...

full text

زی پرشین، فراتر از یک ابزار ریاضی نویسی

نه تنها بسیاری از مردم از کاربردهای ریاضیات در زندگی آگاه نیستند بلکه چه بسا این تصور هم رایج باشد که ریاضی ورزان گروهی جدا از سایرین هستند. صرفه نظر از کاربردهای بسیار ریاضی، ابزارهای متعددی توسط جامعه ریاضی دنیا ایجاد و یا توسعه داده شده اند که سیستم حروف چینی تِک یکی از آنهاست. سیستم حروف چینی تِک توسط یک دانشمند ریاضی بنیان نهاده شده و بسته ی فارسی کنونی آن با نام «زی پرشین» نیز توسط یک دانشج...

full text

علل عدم پیروی از پروتکل؛ یک مطالعه‌ی آماری

 اعتیاد یکی از بزرگ‌ترین معضلات و تراژدی‌های جامعه‌ی بشری است. مصرف‌کنندگان مواد، بیماران مبتلا به بیماری مزمن جسمی-روانی– اجتماعی اعتیاد، سلامتی خود و جامعه را به خطر می‌اندازند. بنابراین درمان این بیماران که در سطوح مختلف جسمی – روانی – اجتماعی دچار مشکل شده‌اند، بر عهده‌ی درمانگران در حیطه‌های مختلف درمانی است. اعتیاد نیز مانند هر بیماری دیگر قابل درمان است و برای آن از روش‌های مختلف درمانی ...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


document type: thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023